| emsoft | participants

Paula Herber

EMSOFT 2025: 25th International Conference on Embedded Software

Deductive Verification of Cooperative RTOS Applications

Philip Tasche, Paula Herber, and Marieke Huisman

EMSOFT 2013: 13th International Conference on Embedded Software

Bit-Precise Formal Verification of Discrete-Time MATLAB/Simulink Models using SMT Solving

Paula Herber, Robert Reicherdt, and Patrick Bittner